Constructing Software Structure Graph through Progressive Execution
نویسندگان
چکیده
منابع مشابه
Constructing Progressive Learning Routes through Qualitative Simulation Models in Ecology
Qualitative models support interactive simulations that are well suited to help learners in acquiring causal interpretations of physical systems and their behavior. Such simulation models can be large, particularly if they include many subsystems. When simulations are too big they hardly can be used effectively for teaching purposes. They have to be reorganized into smaller sets of simulation m...
متن کاملWatchCop - Safer Software Execution through Hardware/Software Co-Design
This paper introduces a novel approach to support runtime execution monitoring with nearly no negative impact on runtime. The monitoring is configurable to applicationspecific requirements and supports real-time behaviour during development and runtime. An extension of the basic approach for monitoring contains watchdog capabilities for a finegrained observation of runtime activities and a two-...
متن کاملconstructing gender identity through narratives based on hallidays metafunctions
هویت, شکل دادن و بازنمایی آن در گفتمان, توجه بسیاری از محققان این رشته را به خود جلب کرده است. تحقیق حاضر بر شکل دادن به هویت جنسیتی هشت تن از دانشجویان ایرانی مشغول به تحصیل در دوره کارشناسی ارشد از طریق بررسی روایات آنان از تجربیات شخصی, متمرکز شده است. تحلیل داده ها در این تحقیق مشتمل بر سه بخش است: بخش اول شامل کدگذاری موضوعی روایات است که بر اساس آن هویت جنسیتی شرکت کنندگان در تحقیق بر اسا...
15 صفحه اولAnswering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph
Knowledge graphs have been widely adopted, in large part owing to their schema-less nature. It enables knowledge graphs to grow seamlessly and allows for new relationships and entities as needed. Natural language questions are the most intuitive way of formulating an information need. People can formulate questions to express their information needs. Natural language questions as a query langua...
متن کاملQuantification of Software Changes through Probabilistic Symbolic Execution
Characterizing software changes is fundamental for software maintenance. However existing techniques are imprecise leading to unnecessary maintenance efforts. We introduce a novel approach that computes a precise numeric characterization of program changes, which quantifies the likelihood of reaching target program events (e.g., assert violations or successful termination) and how that evolves ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Society of Computer and Information
سال: 2013
ISSN: 1598-849X
DOI: 10.9708/jksci.2013.18.7.111